
//  Copyright (C) 2007 Richard Uhler

//?d:Concatenate one string with another
//?e:foobarfoo

foo = new String("foo");
print(foo.concat("bar"));
print(foo);

